Representing business contracts in RuleML

SweetDeal: Representing Agent Contracts with Exceptions Using Semantic Web Rules, Ontologies, and Process Descriptions

We address the problem in automated knowledge-based e-contracts of how to represent exception handling provisions – which in many (if not most) natural language contracts constitute the majority of the contract's volume. We make three main novel contributions. First, we newly extend the previous SweetDeal e-contracting approach to incorporate ontology knowledge, specifically ontologies about bu...

Modelling Contracts Using RuleML

This paper presents an approach for the specification and implementation of e-contracts for Web monitoring. This is done in the setting of RuleML. We argue that monitoring contract execution requires also a logical account of deontic concepts and of violations. Accordingly, RuleML is extended to cover these aspects. 1 Background and Motivation Business contracts are mutual agreements between tw...

SweetDeal : Represen with Exceptions using and Process

SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, evaluate, negotiate, and execute contracts with substantial automation and modularity. It builds upon the situated courteous logic programs knowledge representation in RuleML, the emerging standard for Semantic Web XML rules. Here, we newly extend the SweetDeal approach by also inc...

Representing E - Business Rules for the Semanti Web : Situated Courteous Logi Programs in RuleML

Extending the SweetDeal Approach for e-Procurement Using SweetRules and RuleML

We show the first detailed realistic e-business application scenario that uses and exploits capabilities of the SweetRules V2.1 toolset for e-contracting using the SweetDeal approach. SweetRules is a uniquely powerful integrated set of tools for semantic web rules and ontologies. SweetDeal is a rule-based approach to representation of business contracts that enables software agents to create, e...